Translation software - PDFSEARCH.IO - Document Search Engine

Translation software
Results: 815

#	Item
71	New Initiative: The Naturalness of Software Premkumar Devanbu Department of Computer Science UC Davis, Davis, CA, 95616 Email: Add to Reading List Source URL: macbeth.cs.ucdavis.edu Language: English - Date: 2015-02-19 07:32:24 Linguistics Computational linguistics Applied linguistics Language N-gram Machine translation Word-sense disambiguation Statistical machine translation Parsing Parallel text Language model Topic model
72	Compendium of translation software commercial machine translation systems and computer-aided translation support tools Preliminary draft edition Compiled by John Hutchins Add to Reading List Source URL: www.hutchinsweb.me.uk Language: English
73	Compendium of translation software 13th ed. Add to Reading List Source URL: www.hutchinsweb.me.uk Language: English - Date: 2008-06-12 09:25:39
74	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
75	The Japanese Translation Task: Lexical and Structural Perspectives Timothy Baldwin,∗ Atsushi Okazaki,† Takenobu Tokunaga† and Hozumi Tanaka† * CSLI, Stanford University <> † Tokyo Inst Add to Reading List Source URL: lingo.stanford.edu Language: English Linguistics Computational linguistics Language Software Natural language processing Computer-assisted translation Semantics Compiler construction Machine translation Translation memory Parsing Word-sense disambiguation
76	IEICE Technical Report, . 社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 Add to Reading List Source URL: lingo.stanford.edu Language: English Linguistics Computational linguistics Computing Software Natural language processing Computer-assisted translation Semantics Compiler construction Machine translation Translation memory Word-sense disambiguation Parsing
77	Adam Pease, John Li Articulate Software [apease\|jli]@articulatesoftware.com Controlled English to Logic Translation Add to Reading List Source URL: www.adampease.org Language: English - Date: 2010-03-30 13:25:06
78	An Experimental Study of the Skype Peer-to-Peer VoIP System Saikat Guha (Cornell) Neil Daswani (Google) Ravi Jain (Google) Add to Reading List Source URL: iptps06.cs.ucsb.edu Language: English - Date: 2006-03-03 15:30:43 Software Computing Voice over IP Network address translation Network protocols Videotelephony Skype NAT traversal Traversal Using Relays around NAT STUN
79	8. Discussion. This section first considers aspects of the extended-SPASS software that has been developed for this project. Then some features of the axiomatic translation that have not previously been considered are in Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-09-04 06:08:35
80	McSema: Static Translation of X86 Instructions to LLVM ARTE M DINABURG, ARTE M@ TRAILOFBITS.COM Add to Reading List Source URL: www.trailofbits.com Language: English - Date: 2016-02-29 16:40:44 Software Programming language implementation Compilers LLVM DARPA Clang

UPDATE